581. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47


582. Video processing and computational video :
Author: Daniel Cremers [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer vision, Congresses,Digital video, Congresses,Video recordings-- Data processing, Congresses
Classification :
TK6680
.
5
.
V53
2011


583. Web Information Systems and Technologies :
Author: José Cordeiro, Joaquim Filipe (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Application software-- Development, Congresses.,Internet, Congresses.,World Wide Web, Congresses.,Artificial Intelligence (incl. Robotics),Business Information Systems.,Computer Appl. in Administrative Data Processing.,Computer Science.,e-Commerce/e-business.,Information Systems Applications (incl. Internet),Application software-- Development.,Informatique.,Internet.,World Wide Web.
Classification :
TK5105
.
875
.
I57
I58
2010


584. Web technologies and applications : 5th Asia-Pacific Web Conference, APWeb 2003, Xian, China, April 2003 : proceedings
Author: Xiaofang Zhou, Yanchun Zhang, Maria E. Orlowska )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، World Wide Web,Congresses ، Internet -- Asia,Congresses ، Application software -- Development
Classification :
QA
76
.
L28
Vol
.
2642


585. Web technologies research and development - APWeb 2005 : 7th Asia-Pacific Web Conference, Shanghai, China, March 29-April 1, 2005 : proceedings
Author: Yanchun Zhang...]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، World Wide Web,Congresses ، Internet -- Asia,Congresses ، Application software -- Development
Classification :
QA
76
.
L28
Vol
.
3399


586. based software engineering-Component
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Software engineering ; Congresses. ; Computer software ; Development ; Congresses. ;

587. 0203931254 (ebook)
Author: edited by Nancy Snow, Philip M. Taylor.
Library: Library of Islamic Parliament (Tehran)
Subject:

588. embedded world 2003 conference: Grundlagen, Architekturen, Werkzeuge and Losungen 18 - 20 ,Februar
Author: Design Elektronik
Library: Library of Niroo Research Institue (Tehran)
Subject: congresses ، Embedded computer systems - programming,congresses ، computer software - development
Classification :
QA
76
.
6
.
E434
2003


589. formal Software Development: From VDM to JAVA
Author: / Quentin Charatan and Aaron Kans
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer software- Development- Congresses
Classification :
QA76
.
76
.
C45F62


590. oriented application development for distributed architectures-Performance
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Electronic data processing ; Distributed processing ; Congresses. ; Application software ; Congresses. ; Computer architecture ; Congresses. ; High performance computing ; Congresses. ;

591. 4th Refinement Workshop :
Author: Joseph M. Morris and Roger C. Shaw (Eds).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Development -- Congresses.,Computer software -- Development.,Computers -- Congresses.

593. xiv, 237 p. :
Author: Chris Johnson & Jolyon Leslie.
Library: Library of Islamic Parliament (Tehran)
Subject:

594. xviii, 5,Intern
Author: Carl F. Goodman. ,Jung Wook Cho.
Library: Library of Islamic Parliament (Tehran)
Subject:
